Type-based analysis of logarithmic amortised complexity

We introduce a novel amortised resource analysis couched in type-and-effect system. Our is formulated terms of the physicist's method analysis, and potential-based. The type system makes use logarithmic potential functions first such to exhibit *logarithmic complexity*. With our approach we target automated self-adjusting data structures, like splay trees, which so far have only manually been analysed literature. In particular, implemented semi-automated prototype, successfully analyses zig-zig case *splaying*, once annotations are fixed.